منابع مشابه
CONTENTS Contents �
We illustrate the use of functional system speci cations and their re nement in the development of system components by a simple case study The development includes the modular speci cation re nement and veri cation of system components We start the development with an informal description of the tasks of the case study and then step by step carry out the tasks formally The informal requirement...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
تحقیقات کاربردی علوم جغرافیاییجلد ۱۶، شماره ۴۰، صفحات ۱-۶
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023